function checkForChanges() {
  fetch("/checkFileChange")
    .then((response) => response.json())
    .then((data) => {
      if (data.changed) {
        if (confirm("源码已更改，是否刷新页面？")) {
          location.reload(); // 刷新页面
        }
      }
    })
    .catch((error) => console.error("Error checking for file changes:", error));
}

// 定时检查，每隔5秒调用一次
setInterval(checkForChanges, 5000);
